煤矿井下避难硐室系统的构建与应用分析

为进一步减少煤矿事故发生后的人员伤亡、财产损失，在分析国内外煤矿井下避难系统发展的基础上，以何家塔煤矿井下避难硐室系统的构建设计与应用为例，详细介绍了井下避难硐室系统的分类、结构构成、功能需求和配套设施等，并通过紧急避险疏散时间的校验计算，提出避难硐室距离采掘工作面以不超过1 000 m为宜，且应按照“地面最安全，先逃生后避险”原则进行避险救援，为国内其他矿井避难硐室的构建应用和相关标准的制定提供了参考。     

稀土La2O3改性脲醛树脂的黏度特性研究

脲醛树脂(UF树脂)胶黏剂具有胶合强度高、制作简单、成本低廉、原料来源丰富等一系列特点,成为我国人造板生产的主要胶种,是市场上需求量最大的胶黏剂之一。但由于在固化时会放出刺激性的甲醛,游离甲醛高,在使用时严重危害人的健康。近年来,随着人们环保意识的提高,生产和使用低毒UF树脂胶势在必行。本文介绍了稀土氧化镧对脲醛树脂的改性过程并对改性后脲醛树脂胶的各项性能进行了测试。本实验通过在不同反应阶段加入稀土氧化镧,分别探讨它们对脲醛树脂胶黏剂性能影响。实验表明:在脲醛树脂胶中加入稀土氧化镧可以增加黏度、固化时间、固含量,并可以减少游离甲醛释放量。     

Nb和时效时间对热轧中锰TRIP钢中P偏聚的影响

热轧态中锰TRIP钢首先经650 ℃退火2 h,随后在550 ℃进行等温时效热处理,采用场发射扫描电镜(FE-SEM)研究该钢中P的偏聚和时效析出行为的变化情况。结果表明,中锰TRIP钢中P在晶界的偏聚是一种非平衡偏聚现象,临界时间约为50 h,与理论计算结果48 h较为吻合。在局部偏聚区域内,C与P存在共偏聚的关系,即P偏聚量高的地方,C含量也高。而合金元素Nb具有抑制P偏聚的效果,在20~70 h时效时间内,可以相对降低6.57%~19.5%的最大P偏聚量。根据电子背散射衍射(EBSD)菊池线分析,P偏聚量低于2.28at%时,P为固溶状态,高于2.28at.%时,P为析出状态。     

两相区配分时间对IQ&P钢组织与性能的影响

以含Cu低碳钢为研究对象,利用SEM、EPMA和拉伸试验研究了两相区配分时间对其组织演变、元素配分以及经IQ&P处理后力学性能的影响,并利用Dictra软件对元素配分行为进行了动力学计算。结果表明,IQ处理后试验钢中的块状马氏体形成于原铁素体区域;随两相区配分时间延长,粒状马氏体数量减少,板条状马氏体之间的间距减小。检测和计算结果的对比显示,C、Mn、Cu 3种元素的相对配分速率与计算结果一致,但实际配分速率低于各自的计算结果。随两相区配分时间延长,经IQ&P处理后试验钢的抗拉强度先增加后减小,而伸长率持续减小;在600 s时达到较好的强塑性匹配,强塑积为16 963.24 MPa·%。     

New insight to the oxidation kinetics of silicon-containing steel at high temperature

This study investigated the oxidation kinetics of silicon-containing steel at 1150–1300 °C using a Simultaneous Thermal Analyzer under atmospheric conditions similar to that of an industry reheating furnace. There is a critical time point for the oxidation kinetics at an oxygen concentration of 4·0 vol.-%., following which the oxidation rate constant increases with the increasing oxidation temperature. The model coefficient A in the kinetic oxidation equation was found to be constant. However, before the critical time point, the oxidation rate constant remained unchanged; the model coefficient A decreased with the increasing temperature. Therefore, the kinetic model of silicon-containing steel for isothermal oxidation was observed to be a modified one on the basis of the experimental data. In addition, the critical time point was prolonged with the increasing isothermal oxidation temperature. Moreover, the oxidation activation energy of the tested silicon-containing steel was 366·16 kJ mol^?1.     

Developing English domestic occupancy profiles

ABSTRACT

Occupancy patterns are necessary to estimate energy demand and evaluate thermal comfort in households. Because of this, many European countries are developing representative domestic schedules to replace outdated criteria. This paper evaluates the state of knowledge of UK domestic occupancy patterns and develops new domestic occupancy profiles for England. The presented research (1) characterizes methods for collecting occupancy data and inferring patterns; (2) identifies and assesses the quality of categories of occupancy patterns used in building simulation; and (3) develops updated occupancy profiles. A systematic scoping review identified social and monitoring surveys as the most deployed data-collection methods. A systematic literature review also established that the occupancy categories most frequently used in UK building simulation are (a) a family with dependent children where the parents work full time; and (b) a retired elderly couple who spend most of their time indoors. The interview sample from the English Housing Survey 2014–15 was used to map household typologies. Results show that categories (a) and (b) combined amount to only 19% of England’s households, which suggest models are over-reliant on these groups. Considering this result, the paper develops occupancy patterns for England derived from 2015 UK Time Use Survey diaries for each household typology previously identified.     

Adaptive finite‐time formation tracking control for multiple nonholonomic UAV system with uncertainties and quantized input

An adaptive finite‐time formation tracking control approach is proposed for multiple unmanned aerial vehicle (UAV) system with quantized input signals in this paper. The UAVs are described by nonholonomic kinematic model and autopilot model with uncertainties. An enhanced hysteretic quantizer is introduced to avoid chattering, and some restrictions are released by using a new quantization decomposition method. Based on backstepping technique and finite‐time Lyapunov stability theory, the adaptive finite‐time controller is designed for the trajectory tracking of the multi‐UAV formation. The nonholonomic constraints are solved by a transverse function. A transformation is introduced to the control input signals to eliminate the quantization effect. Stability analysis proves that the tracking errors can converge to a small neighborhood of the origin within finite time and all the closed‐loop signals are semiglobally finite‐time bounded. The effectiveness of the proposed control approach is validated by simulation and experiment.     

Looking into the TESSERACT: Time-drifts in event streams using series of evolving rolling averages of completion times

Business processes are dynamic and change due to diverse factors. While existing approaches aim to detect drifts in the process structure, Tesseract looks for temporal drifts in activity interim times. This orthogonal view on the process extends the traditional data cube of events – case id, activities and timestamps – by a fourth dimension and improves the operational support by a visualization of temporal drifts in real-time.Insights about temporal deviations lead to an augmented awareness of imminent failures or improved service times. The detection of related structural concept drifts can be improved by early warning, as operation times of critical parts often increase before they catastrophically fail.     

A macro-element strategy based upon spectral finite elements and mortar elements for transient wave propagation modeling. Application to ultrasonic testing of laminate composite materials

Proposing efficient numerical modeling tools for high-frequency wave propagation in realistic configurations, such as the one appearing in ultrasonic testing experiments, is a major challenge, especially in the perspective of inversion loops or parametric studies. We propose a numerical methodology addressing this challenge and based upon the combination of the spectral finite element method and the mortar element method. From a prior decomposition of the scene of interest into “macro-elements,” we show how one can improve the performances of the standard finite element procedures in terms of memory footprint and computational load. Additionally, using this decomposition, we are able to efficiently reconstruct important modeling features on-the-fly, such as orientations of anisotropic materials or splitting directions of perfectly matched layers formulations, altogether in a robust and efficient manner. We believe that this strategy is particularly suitable for parametric studies and sensitivity analysis. We illustrate our strategy by simulating the propagation of an ultrasonic wave into an immersed and curved anisotropic laminate 3D specimen flawed with an internal circular delamination of varying size, thus showing the efficiency and the robustness of our approach.     

ATSP:时态网络可视化的自适应时间片划分方法

现有的时态网络可视化方法大多采用等量时间片来可视化网络的演变，不利于时态模式的快速挖掘和发现。为此，根据时态网络固有的特征提出自适应时间片划分方法（Adaptive Time Slice Partition method，ATSP）。在时态网络的两种表示方式（基于事件的表示方式和基于快照的表示方式）的基础上，构建了ATSP的基础模型，同时提出了一种改进模型用来描述事件间隔时间服从长尾分布的时态网络。为了实现时间片的不等量划分，针对探索任务的不同提出了基于时态模式的ATSP规则和基于中心节点的ATSP规则，并提出了实现算法--层次划分算法（Hierarchical Partition algorithm，HP）和增量划分算法（Incremental Partition algorithm，IP）。实验结果表明，ATSP方法比传统的时间片划分方法更能准确地表示网络的时态特征，且该方法应用于可视化时，能有效归纳并展示网络的特征，明显提高了视觉分析的效率。